:: Integer -> Double -package:Agda package:hyperloglog